1. Logic programming
پدیدآورنده : CLARK,KEITH L ED
کتابخانه: (طهران)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , LOGIC,SYMBOLIC & MATHEMATICAL
رده :
QA
76
.
6
.
L58
2. Micro-PROLOG: progamming in logic
پدیدآورنده : Clark, Keith L.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1984
3. Micro-PROLOG : programming in logic
پدیدآورنده : Clark, Keith L.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Micro - PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
4. Micro-PROLOG : programming in logic
پدیدآورنده : Clark, K. L.)Keith L.(
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
.
C55
1984
5. Micro - Prolog: Programming in logic
پدیدآورنده : Clark, K.L. )Keith L.(
کتابخانه: (خراسان الجنوبیة)
موضوع : ، Micro - Prolog )computer program language(
رده :
QA
76
.
73
.
M5
C55
1983
6. Micro-prolog : programming in logic
پدیدآورنده : Clark, Keith L.
کتابخانه: (طهران)
موضوع : Micro-PROLOG )Computer program language(
رده :
QA
76
.
73
.
M5
C55
7. Programs, machines, and computation : an introduction to the theory of computing
پدیدآورنده : Clark, Keith L.
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Machine theory,، Formal languages
رده :
QA
267
.
C54
